MIME-Version: 1.0
Server: CERN/3.0
Date: Tuesday, 07-Jan-97 15:20:09 GMT
Content-Type: text/html
Content-Length: 1750
Last-Modified: Thursday, 21-Nov-96 17:02:06 GMT

<HTML>

<HEAD>

<TITLE>Honors and Professional Activities:</TITLE>

</HEAD><BODY bgcolor="ffffff">

<BODY>

<h3>Honors and Professional Activities:</h3>

<a href="http://www.auschron.com/issues/annual/bestof/96/critics/boa96.C.pols.html">
Best of Austin Award</a>, Austin Chronicle, category "best argument
for tenure", 1996
<br><br>
Fellow of the American Association for Artificial Intelligence, 1991<Br>
<Br>
1991 Current Prize in Automatic Theorem Proving of the American <Br>
Mathematical Society (with J Strother Moore)<Br>
<Br>
Member of the Editorial Board of the Kluwer Academic Series in<Br>
Automated Reasoning, since 1990<Br>
<Br>
Member of the Editorial Board of the Journal of Logic and Computation,<Br>
Oxford, 1991-1993<Br>
<Br>
Keynote Address, North American Conference on Logic Programming, 1990<Br>
<Br>
Keynote Address, Tenth Conference on Automated Deduction, 1990<Br>
<Br>
Skolem Lecture, University of Oslo, 1989<Br>
<Br>
Member of the Editorial Board of the Journal of Automated Reasoning,<Br>
since 1989<Br>
<Br>
General Chairman, 1984 Conference on Lisp and Functional Programming.<Br>
<Br>
Member of the Editorial Board of the Journal of Symbolic Computation,<Br>
1984-1987<Br>
<Br>
John McCarthy Prize for Program Verification, 1983, (with J Strother<Br>
Moore)<Br>
<Br>
IBM Chaire Internationale d'Informatique, Universite de Liege, Belgium,<Br>
(32 lectures), 1980<Br>
<Br>
Member of the Editorial Board of the Journal of Artificial Intelligence,<Br>
1977 to 1994.<Br>
<Br>
NASA Fellowship, Mathematics Department, University of Texas at Austin,<Br>
1967-70<Br>
<Br>
Phi Beta Kappa, 1967<Br>
 <Br>
Junior Fellow, University of Texas, 1965-1967<Br>
<Br>
Valedictorian, King High School, Kingsville, Texas, 1964<Br>
<Br>
